
#ifndef TICKETTAKER_H
#define TICKETTAKER_H

#include "copyright.h"
#include "theaternames.h"

int ticketTakerInitialize();

void ticketTaker();

void finishedAgent();







#endif